Utilitarian Deontic Logic
نویسنده
چکیده
منابع مشابه
How do pessimistic agents save miners? A STIT based approach
This paper develops a new STIT based deontic logic, pessimistic utilitarian deontic logic, capable of analyzing the miners puzzle. The key idea of the semantics of this logic is: one set of possible worlds is better than another set of possible worlds iff the worst world in the first set is better than the worst world in the second. This semantics gives an idea to write predictions in the miner...
متن کاملAgreements as Norms
Deontic logic has extensively been used to reason about what a player (or coalition) should do when confronted with several choices at its disposal while being aware of its opponents’ possibilities. So far this line of research, inspired by Horty’s utilitarian account of obligations, has been focused on interpreting coalitional oughts as rational choices, going on to characterizing game-theoret...
متن کاملUtilitarian Moral Judgment Exclusively Coheres with Inference from Is to Ought
Faced with moral choice, people either judge according to pre-existing obligations (deontological judgment), or by taking into account the consequences of their actions (utilitarian judgment). We propose that the latter coheres with a more general cognitive mechanism - deontic introduction, the tendency to infer normative ('deontic') conclusions from descriptive premises (is-ought inference). P...
متن کاملWhat an Agent Ought To Do A Review of John Horty’s ‘Agency and Deontic Logic’
John Horty’s book ‘Agency and deontic logic’ appeared at Oxford Press in 2001. It develops deontic logic against the background of a theory of agency in nondeterministic time. Several philosophical reviews of the book appeared since then [1–5]. Our goal is to present the book to a general AI audience that is familiar with action theories developed in AI, classical decision theory [6], or formal...
متن کاملNorm Creation in Proposition Control Games
In this paper we study how to create norms in games. We consider norms as deontic statements which are used to describe prescriptions made by certain randomized signals of which the usage is to guide agents’ behavior. Such randomized signals are implemented from correlated equilibria in games. Our proposal belongs to the offline norm creation approach [ST96]. Agents’ compliance and computationa...
متن کامل